divisibility rules proof